A Computational Framework for Practical Social Reasoning
نویسندگان
چکیده
منابع مشابه
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system properties such as other agents’ mental states. In this paper we introduce the Expectation-Strategy-Behaviour (ESB) framework which provides a generic machinery for such practical social reasoning and can be easily couple...
متن کاملA Modal Computational Framework for Default Reasoning
Usually a default rule A : B/C is intended to mean that if A holds in a state of affairs a B is consistent, then C follows by default. However, C is not a necessary conclusion: different states of affairs are possible (conceivable). According to this view, Meyer and van der Hoek [MvH92] developed a multimodal logic, called S5P(n), for treating non-monotonic reasoning in a monotonic setting. In ...
متن کاملPractical Social Reasoning Systems
The Belief-Desire-Intention (BDI) model of rational agency provides an abstract architecture for practical reasoning systems and is today regarded as one of the key contributions of multiagent systems research to AI. So far, however, a similar model for practical social reasoning systems that is generic enough to be used as a unifying framework for the diverse methods used to manage the interac...
متن کاملA Computational Account of Social Reasoning
People are amateur social psychologists: they explain other people’s behavior, infer what other people are thinking and feeling, and predict how other people will act. I will refer to this sort of psychologizing as social reasoning in order to highlight the fact that it involves reasoning about people. Social reasoning often requires significant leaps of inductive inference: people infer others...
متن کاملA Framework for Specifying, Prototyping, and Reasoning about Computational Systems
In this thesis we are interested in a framework for specifying, prototyping, and reasoning about systems that describe computations over formal objects such as formulas, proofs, and programs. The computations of interest include those like evaluation and typing in a programming language, provability in a logic, and behavior in a concurrency system. The development of these computational systems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Intelligence
سال: 2013
ISSN: 0824-7935
DOI: 10.1111/coin.12014